<?php

class User extends UserBase {
  
}